[next] [prev] [prev-tail] [tail] [up]

2.2.10 Integrals 901 to 1000

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 901

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

153 164 472 247 0 657 0 287 5489

N.S.

1 1.07 3.08 1.61 0.00 4.29 0.00 1.88 35.88

time (sec)

N/A 1.050 6.362 0.465 0.000 8.700 0.000 0.331 24.856

Problem 902

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

106 111 365 152 0 482 0 180 3452

N.S.

1 1.05 3.44 1.43 0.00 4.55 0.00 1.70 32.57

time (sec)

N/A 0.686 5.925 0.400 0.000 2.748 0.000 0.336 23.778

Problem 903

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) A F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

94 97 261 119 0 372 0 149 18184

N.S.

1 1.03 2.78 1.27 0.00 3.96 0.00 1.59 193.45

time (sec)

N/A 0.585 0.981 0.326 0.000 1.597 0.000 0.329 28.527

Problem 904

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 103 92 119 0 336 0 146 4410

N.S.

1 1.05 0.94 1.21 0.00 3.43 0.00 1.49 45.00

time (sec)

N/A 0.598 1.526 0.319 0.000 0.321 0.000 0.313 20.634

Problem 905

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 156 131 180 0 454 0 239 5581

N.S.

1 1.08 0.90 1.24 0.00 3.13 0.00 1.65 38.49

time (sec)

N/A 0.959 2.028 0.400 0.000 0.321 0.000 0.330 25.303

Problem 906

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 222 178 275 0 599 0 424 7110

N.S.

1 1.08 0.87 1.34 0.00 2.92 0.00 2.07 34.68

time (sec)

N/A 1.462 1.422 0.499 0.000 0.312 0.000 0.321 26.239

Problem 907

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

276 301 235 456 0 765 0 801 9648

N.S.

1 1.09 0.85 1.65 0.00 2.77 0.00 2.90 34.96

time (sec)

N/A 2.134 1.721 0.656 0.000 0.329 0.000 0.328 27.858

Problem 908

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

407 414 605 492 0 1835 0 627 11687

N.S.

1 1.02 1.49 1.21 0.00 4.51 0.00 1.54 28.71

time (sec)

N/A 2.848 8.447 1.015 0.000 48.412 0.000 0.358 31.045

Problem 909

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

312 323 519 365 0 1505 0 428 9931

N.S.

1 1.04 1.66 1.17 0.00 4.82 0.00 1.37 31.83

time (sec)

N/A 1.990 5.034 0.841 0.000 37.147 0.000 0.349 28.884

Problem 910

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

177 210 382 261 0 1156 0 443 6421

N.S.

1 1.19 2.16 1.47 0.00 6.53 0.00 2.50 36.28

time (sec)

N/A 1.310 5.287 0.589 0.000 14.120 0.000 0.333 26.818

Problem 911

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

148 171 356 200 0 728 0 250 4536

N.S.

1 1.16 2.41 1.35 0.00 4.92 0.00 1.69 30.65

time (sec)

N/A 0.845 3.336 0.453 0.000 4.306 0.000 0.319 25.051

Problem 912

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F A B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

138 159 299 181 0 593 0 222 4544

N.S.

1 1.15 2.17 1.31 0.00 4.30 0.00 1.61 32.93

time (sec)

N/A 0.702 3.539 0.294 0.000 0.302 0.000 0.319 24.770

Problem 913

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

202 220 160 228 0 826 0 1240 3804

N.S.

1 1.09 0.79 1.13 0.00 4.09 0.00 6.14 18.83

time (sec)

N/A 1.215 1.681 0.465 0.000 0.330 0.000 0.446 22.085

Problem 914

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

298 310 206 300 0 1102 0 380 9997

N.S.

1 1.04 0.69 1.01 0.00 3.70 0.00 1.28 33.55

time (sec)

N/A 1.905 2.212 0.612 0.000 0.374 0.000 0.334 28.265

Problem 915

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

396 403 255 397 0 1347 0 564 11743

N.S.

1 1.02 0.64 1.00 0.00 3.40 0.00 1.42 29.65

time (sec)

N/A 2.681 5.926 0.805 0.000 0.385 0.000 0.332 29.661

Problem 916

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

465 493 725 554 0 2864 0 1740 15937

N.S.

1 1.06 1.56 1.19 0.00 6.16 0.00 3.74 34.27

time (sec)

N/A 3.261 6.445 1.478 0.000 118.317 0.000 0.439 34.264

Problem 917

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

323 360 492 430 0 2217 0 705 11393

N.S.

1 1.11 1.52 1.33 0.00 6.86 0.00 2.18 35.27

time (sec)

N/A 2.270 6.295 1.163 0.000 57.902 0.000 0.390 29.888

Problem 918

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

242 280 514 364 0 1501 0 632 8128

N.S.

1 1.16 2.12 1.50 0.00 6.20 0.00 2.61 33.59

time (sec)

N/A 1.505 5.475 0.743 0.000 17.821 0.000 0.388 28.996

Problem 919

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

202 228 410 268 0 848 0 510 280

N.S.

1 1.13 2.03 1.33 0.00 4.20 0.00 2.52 1.39

time (sec)

N/A 0.906 4.959 0.419 0.000 0.331 0.000 0.367 20.067

Problem 920

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

229 275 793 345 0 1237 0 606 8147

N.S.

1 1.20 3.46 1.51 0.00 5.40 0.00 2.65 35.58

time (sec)

N/A 1.221 6.097 0.429 0.000 0.371 0.000 0.391 28.746

Problem 921

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

330 364 1015 398 0 1680 0 667 6708

N.S.

1 1.10 3.08 1.21 0.00 5.09 0.00 2.02 20.33

time (sec)

N/A 2.149 9.741 0.829 0.000 0.406 0.000 0.399 23.498

Problem 922

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

453 479 881 487 0 2127 0 3408 16016

N.S.

1 1.06 1.94 1.08 0.00 4.70 0.00 7.52 35.36

time (sec)

N/A 3.159 10.027 1.038 0.000 0.458 0.000 0.730 35.003

Problem 923

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

470 527 1197 679 0 3644 0 1264 15959

N.S.

1 1.12 2.55 1.44 0.00 7.75 0.00 2.69 33.96

time (sec)

N/A 3.453 8.749 1.296 0.000 140.287 0.000 0.424 32.622

Problem 924

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

358 414 1302 584 0 2466 0 1135 11926

N.S.

1 1.16 3.64 1.63 0.00 6.89 0.00 3.17 33.31

time (sec)

N/A 2.394 8.512 1.271 0.000 51.321 0.000 0.420 30.689

Problem 925

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

314 359 299 453 0 1420 0 970 516

N.S.

1 1.14 0.95 1.44 0.00 4.52 0.00 3.09 1.64

time (sec)

N/A 1.600 1.680 0.722 0.000 0.381 0.000 0.387 20.512

Problem 926

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

299 338 538 452 0 1414 0 968 516

N.S.

1 1.13 1.80 1.51 0.00 4.73 0.00 3.24 1.73

time (sec)

N/A 1.372 8.667 0.675 0.000 0.388 0.000 0.393 20.423

Problem 927

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

336 401 1230 565 0 2056 0 1106 11934

N.S.

1 1.19 3.66 1.68 0.00 6.12 0.00 3.29 35.52

time (sec)

N/A 1.888 10.028 0.638 0.000 0.445 0.000 0.418 32.019

Problem 928

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

471 527 1367 646 0 2766 0 1225 9463

N.S.

1 1.12 2.90 1.37 0.00 5.87 0.00 2.60 20.09

time (sec)

N/A 3.256 11.983 1.257 0.000 0.547 0.000 0.409 27.144

Problem 929

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

648 683 658 771 0 3454 0 1438 21910

N.S.

1 1.05 1.02 1.19 0.00 5.33 0.00 2.22 33.81

time (sec)

N/A 4.740 10.421 1.964 0.000 0.679 0.000 0.411 43.030

Problem 930

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 33 23 40 0 45 73 53 258

N.S.

1 1.38 0.96 1.67 0.00 1.88 3.04 2.21 10.75

time (sec)

N/A 0.183 0.011 0.147 0.000 0.287 1.901 0.322 18.208

Problem 931

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 84 76 81 0 285 0 309 1169

N.S.

1 1.12 1.01 1.08 0.00 3.80 0.00 4.12 15.59

time (sec)

N/A 0.457 0.452 0.250 0.000 0.294 0.000 0.324 21.372

Problem 932

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 174 211 182 0 714 0 223 5260

N.S.

1 1.24 1.51 1.30 0.00 5.10 0.00 1.59 37.57

time (sec)

N/A 0.792 1.821 0.330 0.000 0.340 0.000 0.377 26.825

Problem 933

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

231 284 302 317 0 1443 0 515 5322

N.S.

1 1.23 1.31 1.37 0.00 6.25 0.00 2.23 23.04

time (sec)

N/A 1.275 2.933 0.463 0.000 0.386 0.000 0.382 25.988

Problem 934

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

336 409 1097 526 0 2408 0 860 7573

N.S.

1 1.22 3.26 1.57 0.00 7.17 0.00 2.56 22.54

time (sec)

N/A 1.921 6.056 0.714 0.000 0.486 0.000 0.474 31.781

Problem 935

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

517 537 4780 7566 0 0 0 0 0

N.S.

1 1.04 9.25 14.63 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.559 28.680 45.373 0.000 0.000 0.000 0.000 0.000

Problem 936

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

413 427 3706 5448 0 0 0 0 0

N.S.

1 1.03 8.97 13.19 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.678 25.643 32.345 0.000 0.000 0.000 0.000 0.000

Problem 937

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

324 330 579 4176 0 0 0 0 0

N.S.

1 1.02 1.79 12.89 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.174 23.507 18.576 0.000 0.000 0.000 0.000 0.000

Problem 938

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

366 367 785 2370 0 0 0 0 0

N.S.

1 1.00 2.14 6.48 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.238 18.763 12.305 0.000 0.000 0.000 0.000 0.000

Problem 939

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

362 369 922 2898 0 0 0 0 0

N.S.

1 1.02 2.55 8.01 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.297 17.413 6.701 0.000 0.000 0.000 0.000 0.000

Problem 940

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F(-1) F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

435 433 1371 3548 0 0 0 0 0

N.S.

1 1.00 3.15 8.16 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.823 20.173 5.414 0.000 0.000 0.000 0.000 0.000

Problem 941

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

538 544 1856 5091 0 0 0 0 0

N.S.

1 1.01 3.45 9.46 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.589 16.042 6.360 0.000 0.000 0.000 0.000 0.000

Problem 942

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

628 652 1100 9223 0 0 0 0 0

N.S.

1 1.04 1.75 14.69 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.435 23.427 61.380 0.000 0.000 0.000 0.000 0.000

Problem 943

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

505 521 4336 7560 0 0 0 0 0

N.S.

1 1.03 8.59 14.97 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.240 26.200 47.636 0.000 0.000 0.000 0.000 0.000

Problem 944

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

406 414 3724 5704 0 0 0 0 0

N.S.

1 1.02 9.17 14.05 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.650 24.213 34.220 0.000 0.000 0.000 0.000 0.000

Problem 945

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

443 449 6946 4960 0 0 0 0 0

N.S.

1 1.01 15.68 11.20 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.736 26.771 4.270 0.000 0.000 0.000 0.000 0.000

Problem 946

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

426 432 7670 4322 0 0 0 0 0

N.S.

1 1.01 18.00 10.15 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.700 30.844 3.858 0.000 0.000 0.000 0.000 0.000

Problem 947

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

442 443 4506 4872 0 0 0 0 0

N.S.

1 1.00 10.19 11.02 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.885 25.964 2.741 0.000 0.000 0.000 0.000 0.000

Problem 948

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F(-1) F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

540 543 5040 5618 0 0 0 0 0

N.S.

1 1.01 9.33 10.40 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.600 28.346 3.898 0.000 0.000 0.000 0.000 0.000

Problem 949

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

650 661 759 7502 0 0 0 0 0

N.S.

1 1.02 1.17 11.54 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.448 21.992 2.893 0.000 0.000 0.000 0.000 0.000

Problem 950

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

610 627 5369 9227 0 0 0 0 0

N.S.

1 1.03 8.80 15.13 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.826 32.943 134.141 0.000 0.000 0.000 0.000 0.000

Problem 951

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

502 512 4831 7821 0 0 0 0 0

N.S.

1 1.02 9.62 15.58 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.167 29.689 48.530 0.000 0.000 0.000 0.000 0.000

Problem 952

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

521 532 1401 6504 0 0 0 0 0

N.S.

1 1.02 2.69 12.48 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.248 25.738 14.651 0.000 0.000 0.000 0.000 0.000

Problem 953

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

505 516 1490 6348 0 0 0 0 0

N.S.

1 1.02 2.95 12.57 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.260 34.980 53.145 0.000 0.000 0.000 0.000 0.000

Problem 954

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

507 513 4887 6319 0 0 0 0 0

N.S.

1 1.01 9.64 12.46 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.374 36.530 53.955 0.000 0.000 0.000 0.000 0.000

Problem 955

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

549 555 5347 6949 0 0 0 0 0

N.S.

1 1.01 9.74 12.66 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.690 31.792 189.460 0.000 0.000 0.000 0.000 0.000

Problem 956

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

652 660 5667 8028 0 0 0 0 0

N.S.

1 1.01 8.69 12.31 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.497 37.570 519.436 0.000 0.000 0.000 0.000 0.000

Problem 957

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

774 790 711 9715 0 0 0 0 0

N.S.

1 1.02 0.92 12.55 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.580 28.289 1264.894 0.000 0.000 0.000 0.000 0.000

Problem 958

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

429 449 3811 5454 0 0 0 0 0

N.S.

1 1.05 8.88 12.71 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.802 28.771 43.871 0.000 0.000 0.000 0.000 0.000

Problem 959

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

342 354 3332 3930 0 0 0 0 0

N.S.

1 1.04 9.74 11.49 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.280 29.115 31.888 0.000 0.000 0.000 0.000 0.000

Problem 960

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

267 271 470 2063 0 0 0 0 0

N.S.

1 1.01 1.76 7.73 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.852 25.115 26.160 0.000 0.000 0.000 0.000 0.000

Problem 961

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

317 317 758 1078 0 0 0 0 0

N.S.

1 1.00 2.39 3.40 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.920 20.609 16.925 0.000 0.000 0.000 0.000 0.000

Problem 962

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

358 363 853 1604 0 0 0 0 0

N.S.

1 1.01 2.38 4.48 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.273 24.233 6.487 0.000 0.000 0.000 0.000 0.000

Problem 963

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

439 440 1417 3035 0 0 0 0 0

N.S.

1 1.00 3.23 6.91 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.789 21.875 5.308 0.000 0.000 0.000 0.000 0.000

Problem 964

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

510 527 887 7393 0 0 0 0 0

N.S.

1 1.03 1.74 14.50 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.324 24.398 39.366 0.000 0.000 0.000 0.000 0.000

Problem 965

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

352 386 3856 5333 0 0 0 0 0

N.S.

1 1.10 10.95 15.15 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.597 27.244 28.508 0.000 0.000 0.000 0.000 0.000

Problem 966

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

293 320 603 4120 0 0 0 0 0

N.S.

1 1.09 2.06 14.06 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.018 25.123 21.689 0.000 0.000 0.000 0.000 0.000

Problem 967

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

395 424 1140 3989 0 0 0 0 0

N.S.

1 1.07 2.89 10.10 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.491 28.239 15.657 0.000 0.000 0.000 0.000 0.000

Problem 968

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

451 490 1798 4948 0 0 0 0 0

N.S.

1 1.09 3.99 10.97 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.942 30.172 6.369 0.000 0.000 0.000 0.000 0.000

Problem 969

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

552 587 2489 7020 0 0 0 0 0

N.S.

1 1.06 4.51 12.72 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.632 26.535 6.120 0.000 0.000 0.000 0.000 0.000

Problem 970

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

549 562 1002 12782 0 0 0 0 0

N.S.

1 1.02 1.83 23.28 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.516 24.075 33.515 0.000 0.000 0.000 0.000 0.000

Problem 971

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

449 461 4504 10756 0 0 0 0 0

N.S.

1 1.03 10.03 23.96 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.767 31.648 23.711 0.000 0.000 0.000 0.000 0.000

Problem 972

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

416 429 3980 8564 0 0 0 0 0

N.S.

1 1.03 9.57 20.59 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.512 30.656 21.391 0.000 0.000 0.000 0.000 0.000

Problem 973

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

541 565 11366 10172 0 0 0 0 0

N.S.

1 1.04 21.01 18.80 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.172 29.177 17.130 0.000 0.000 0.000 0.000 0.000

Problem 974

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

618 653 2607 13130 0 0 0 0 0

N.S.

1 1.06 4.22 21.25 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.747 29.880 7.597 0.000 0.000 0.000 0.000 0.000

Problem 975

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

448 467 689 4746 0 0 0 0 0

N.S.

1 1.04 1.54 10.59 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.942 25.757 24.272 0.000 0.000 0.000 0.000 0.000

Problem 976

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

382 396 1131 2381 0 0 0 0 0

N.S.

1 1.04 2.96 6.23 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.515 23.965 20.420 0.000 0.000 0.000 0.000 0.000

Problem 977

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

316 328 965 1091 0 0 0 0 0

N.S.

1 1.04 3.05 3.45 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.157 23.896 14.479 0.000 0.000 0.000 0.000 0.000

Problem 978

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

212 222 158 252 0 0 0 0 0

N.S.

1 1.05 0.75 1.19 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.541 7.183 12.453 0.000 0.000 0.000 0.000 0.000

Problem 979

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

379 421 1603 3614 0 0 0 0 0

N.S.

1 1.11 4.23 9.54 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.527 15.509 17.151 0.000 0.000 0.000 0.000 0.000

Problem 980

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

519 558 615 10044 0 0 0 0 0

N.S.

1 1.08 1.18 19.35 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.213 14.022 21.205 0.000 0.000 0.000 0.000 0.000

Problem 981

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

266 240 1262 1020 0 312 0 0 0

N.S.

1 0.90 4.74 3.83 0.00 1.17 0.00 0.00 0.00

time (sec)

N/A 1.439 10.572 52.798 0.000 0.140 0.000 0.000 0.000

Problem 982

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

230 212 545 824 0 288 0 0 0

N.S.

1 0.92 2.37 3.58 0.00 1.25 0.00 0.00 0.00

time (sec)

N/A 1.205 8.260 6.658 0.000 0.112 0.000 0.000 0.000

Problem 983

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

192 182 1140 715 0 260 0 0 0

N.S.

1 0.95 5.94 3.72 0.00 1.35 0.00 0.00 0.00

time (sec)

N/A 1.056 8.652 4.740 0.000 0.115 0.000 0.000 0.000

Problem 984

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 155 223 639 0 221 0 0 0

N.S.

1 1.02 1.47 4.20 0.00 1.45 0.00 0.00 0.00

time (sec)

N/A 0.897 3.485 4.066 0.000 0.120 0.000 0.000 0.000

Problem 985

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 149 197 388 0 184 0 0 0

N.S.

1 1.02 1.35 2.66 0.00 1.26 0.00 0.00 0.00

time (sec)

N/A 0.903 3.487 4.100 0.000 0.106 0.000 0.000 0.000

Problem 986

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 159 194 465 0 204 0 0 0

N.S.

1 1.02 1.24 2.98 0.00 1.31 0.00 0.00 0.00

time (sec)

N/A 0.924 3.169 5.009 0.000 0.127 0.000 0.000 0.000

Problem 987

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

194 188 219 515 0 232 0 0 0

N.S.

1 0.97 1.13 2.65 0.00 1.20 0.00 0.00 0.00

time (sec)

N/A 1.090 3.828 7.834 0.000 0.114 0.000 0.000 0.000

Problem 988

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

230 216 249 565 0 256 0 0 0

N.S.

1 0.94 1.08 2.46 0.00 1.11 0.00 0.00 0.00

time (sec)

N/A 1.297 4.876 11.483 0.000 0.130 0.000 0.000 0.000

Problem 989

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

266 244 285 611 0 280 0 0 0

N.S.

1 0.92 1.07 2.30 0.00 1.05 0.00 0.00 0.00

time (sec)

N/A 1.463 6.419 16.642 0.000 0.142 0.000 0.000 0.000

Problem 990

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

343 305 507 1169 0 400 0 0 0

N.S.

1 0.89 1.48 3.41 0.00 1.17 0.00 0.00 0.00

time (sec)

N/A 1.958 9.972 8.926 0.000 0.137 0.000 0.000 0.000

Problem 991

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

289 275 333 920 0 357 0 0 0

N.S.

1 0.95 1.15 3.18 0.00 1.24 0.00 0.00 0.00

time (sec)

N/A 1.753 4.774 6.864 0.000 0.122 0.000 0.000 0.000

Problem 992

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

241 245 271 973 0 319 0 0 0

N.S.

1 1.02 1.12 4.04 0.00 1.32 0.00 0.00 0.00

time (sec)

N/A 1.499 4.334 4.931 0.000 0.131 0.000 0.000 0.000

Problem 993

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

224 223 227 883 0 284 0 0 0

N.S.

1 1.00 1.01 3.94 0.00 1.27 0.00 0.00 0.00

time (sec)

N/A 1.462 10.203 4.798 0.000 0.120 0.000 0.000 0.000

Problem 994

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

225 229 234 679 0 260 0 0 0

N.S.

1 1.02 1.04 3.02 0.00 1.16 0.00 0.00 0.00

time (sec)

N/A 1.483 7.273 5.381 0.000 0.116 0.000 0.000 0.000

Problem 995

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

242 250 385 706 0 291 0 0 0

N.S.

1 1.03 1.59 2.92 0.00 1.20 0.00 0.00 0.00

time (sec)

N/A 1.516 11.529 7.491 0.000 0.117 0.000 0.000 0.000

Problem 996

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

290 280 286 784 0 329 0 0 0

N.S.

1 0.97 0.99 2.70 0.00 1.13 0.00 0.00 0.00

time (sec)

N/A 1.822 9.869 11.860 0.000 0.132 0.000 0.000 0.000

Problem 997

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

397 369 566 1265 0 467 0 0 0

N.S.

1 0.93 1.43 3.19 0.00 1.18 0.00 0.00 0.00

time (sec)

N/A 2.492 11.614 9.245 0.000 0.146 0.000 0.000 0.000

Problem 998

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

334 343 377 1178 0 415 0 0 0

N.S.

1 1.03 1.13 3.53 0.00 1.24 0.00 0.00 0.00

time (sec)

N/A 2.218 7.983 7.370 0.000 0.148 0.000 0.000 0.000

Problem 999

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

319 321 311 1268 0 382 0 0 0

N.S.

1 1.01 0.97 3.97 0.00 1.20 0.00 0.00 0.00

time (sec)

N/A 2.179 12.467 5.609 0.000 0.144 0.000 0.000 0.000

Problem 1000

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

313 315 295 1112 0 361 0 0 0

N.S.

1 1.01 0.94 3.55 0.00 1.15 0.00 0.00 0.00

time (sec)

N/A 2.206 6.196 6.317 0.000 0.142 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]